home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / lib / syms / CTrait
Text File  |  1996-09-04  |  3KB  |  100 lines
  1. true: -> Bool
  2. false: -> Bool
  3. \not __: Bool -> Bool
  4. __ \and __: Bool, Bool -> Bool
  5. __ \or __: Bool, Bool -> Bool
  6. __ \implies __: Bool, Bool -> Bool
  7. __ \eq __: Bool, Bool -> Bool
  8. __ \eq __: Int, Int -> Bool
  9. __ \eq __: double, double -> Bool
  10. __ \eq __: float, float -> Bool
  11. __ \eq __: _char_Vec, _char_Vec -> Bool
  12. __ \eq __: char, char -> Bool
  13. __ \neq __: Bool, Bool -> Bool
  14. __ \neq __: Int, Int -> Bool
  15. __ \neq __: double, double -> Bool
  16. __ \neq __: float, float -> Bool
  17. __ \neq __: _char_Vec, _char_Vec -> Bool
  18. __ \neq __: char, char -> Bool
  19. if __ then __ else __: Bool, Bool, Bool -> Bool
  20. if __ then __ else __: Bool, Int, Int -> Int
  21. if __ then __ else __: Bool, double, double -> double
  22. if __ then __ else __: Bool, float, float -> float
  23. if __ then __ else __: Bool, _char_Vec, _char_Vec -> _char_Vec
  24. if __ then __ else __: Bool, char, char -> char
  25. __ |- __: _char_Vec, char -> _char_Vec
  26. __ -| __: char, _char_Vec -> _char_Vec
  27. __ \leq __: Int, Int -> Bool
  28. __ \leq __: double, double -> Bool
  29. __ \leq __: float, float -> Bool
  30. __ \geq __: Int, Int -> Bool
  31. __ \geq __: double, double -> Bool
  32. __ \geq __: float, float -> Bool
  33. succ: Int -> Int
  34. pred: Int -> Int
  35. - __: Int -> Int
  36. __ - __: Int, Int -> Int
  37. - __: double -> double
  38. __ - __: double, double -> double
  39. - __: float -> float
  40. __ - __: float, float -> float
  41. __ + __: Int, Int -> Int
  42. __ + __: double, double -> double
  43. __ + __: float, float -> float
  44. __ * __: Int, Int -> Int
  45. __ * __: double, double -> double
  46. __ * __: float, float -> float
  47. __ < __: Int, Int -> Bool
  48. __ < __: double, double -> Bool
  49. __ < __: float, float -> Bool
  50. __ > __: Int, Int -> Bool
  51. __ > __: double, double -> Bool
  52. __ > __: float, float -> Bool
  53. abs: Int -> Int
  54. abs: double -> double
  55. abs: float -> float
  56. div: Int, Int -> Int
  57. mod: Int, Int -> Int
  58. min: Int, Int -> Int
  59. max: Int, Int -> Int
  60. 0: -> Int
  61. 0: -> double
  62. 0: -> float
  63. 1: -> Int
  64. 1: -> double
  65. 1: -> float
  66. __ \inv: double -> double
  67. __ \inv: float -> float
  68. __ / __: double, double -> double
  69. __ / __: float, float -> float
  70. empty: -> _char_Vec
  71. __ || __: _char_Vec, _char_Vec -> _char_Vec
  72. __ \in __: char, _char_Vec -> Bool
  73. count: char, _char_Vec -> Int
  74. head: _char_Vec -> char
  75. init: _char_Vec -> _char_Vec
  76. isEmpty: _char_Vec -> Bool
  77. last: _char_Vec -> char
  78. len: _char_Vec -> Int
  79. prefix: _char_Vec, Int -> _char_Vec
  80. removePrefix: _char_Vec, Int -> _char_Vec
  81. substring: _char_Vec, Int, Int -> _char_Vec
  82. tail: _char_Vec -> _char_Vec
  83. null: -> char
  84. nullTerminated: _char_Vec -> Bool
  85. throughNull: _char_Vec -> _char_Vec
  86. sameStr: _char_Vec, _char_Vec -> Bool
  87. lenStr: _char_Vec -> Int
  88. times10plus: Int, Int -> Int
  89. plus1: Int -> Int
  90. 2: -> Int
  91. 3: -> Int
  92. 4: -> Int
  93. 5: -> Int
  94. 6: -> Int
  95. 7: -> Int
  96. 8: -> Int
  97. 9: -> Int
  98. __ [ __ ]: _char_Vec, Int -> char
  99. { __ }: char -> _char_Vec
  100.